Estimation independence as an axiom for quantum uncertainty

Complete independence of an axiom system for central translations

A recently proposed axiom system for André’s central translation structures is improved upon. First, one of its axioms turns out to be dependent (derivable from the other axioms). Without this axiom, the axiom system is indeed independent. Second, whereas most of the original independence models were infinite, finite independence models are available. Moreover, the independence proof for one of...

The independence of Tarski's Euclidean axiom

Tarski’s axioms of plane geometry are formalized and, using the standard real Cartesian model, shown to be consistent. A substantial theory of the projective plane is developed. Building on this theory, the Klein–Beltrami model of the hyperbolic plane is defined and shown to satisfy all of Tarski’s axioms except his Euclidean axiom; thus Tarski’s Euclidean axiom is shown to be independent of hi...

Stochastic Dominance Analysis Without the Independence Axiom

Independence, Randomness and the Axiom of Choice

Preference Reversals Without the Independence Axiom